home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / poncelet3.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.5 KB  |  37 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.502717, 0.108696, .invisible, .L0, "1");
  3. v2 = .free(0.391304, 0.326087, .invisible, .L0, "2");
  4. v3 = .free(0.0978261, -0.293478, .invisible, .L0, "3");
  5. l1 = .l.vv(v1, v2, .invisible, .L0);
  6. l2 = .l.vv(v2, v3, .invisible, .L0);
  7. l3 = .l.vv(v3, v1, .invisible, .L0);
  8. c1 = .c.vv(v2, v3, .invisible, .L0);
  9. v4 = .v.lc(l1, c1, 1, .invisible, .L0, .plus);
  10. v5 = .v.vvmid(v4, v3, .invisible, .L0, .plus);
  11. l4 = .l.vv(v2, v5, .invisible, .L0);
  12. c2 = .c.vv(v1, v3, .invisible, .L0);
  13. v6 = .v.lc(l1, c2, 2, .invisible, .L0, .plus);
  14. v7 = .v.vvmid(v6, v3, .invisible, .L0, .plus);
  15. l5 = .l.vv(v1, v7, .invisible, .L0);
  16. v8 = .v.ll(l4, l5, .invisible, .L0, .plus);
  17. l6 = .l.vlperp(v8, l1, .invisible, .L0);
  18. v9 = .v.ll(l6, l1, .invisible, .L0, .plus);
  19. c3 = .c.vv(v8, v9, .L0);
  20. c4 = .c.vvv(v3, v2, v1, .L0);
  21. v10 = .vonc(c4, 0.344629, -0.111304, .L0, .cross, "Start");
  22. l7 = .l.vc(v10, c3, 1, .invisible, .L0);
  23. l8 = .l.vc(v10, c3, 2, .invisible, .L0);
  24. v12 = .v.lc(l7, c4, 2, .L0, .plus);
  25. v13 = .v.lc(l8, c4, 2, .L0, .plus);
  26. l9 = .l.vv(v10, v12, .L0);
  27. l10 = .l.vv(v12, v13, .L0);
  28. l11 = .l.vv(v13, v10, .L0);
  29. .text("The Great Poncelet Theorem for Circles");
  30. .text("");
  31. .text("Given 2 circles, one contained within another, choose any point");
  32. .text("on the outer circle, construct the tangent to the inner circle and");
  33. .text("continue to find a new point, and so on.  Either the lines will");
  34. .text("close for all starting points, or for none.  This figure illustrates");
  35. .text("the theorem for two circles arranged so as to close on the third");
  36. .text("line.");
  37.